Compositional Meaning in Logic

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Is Intonational Meaning Compositional ?

This paper addresses the issue of the contribution of intonation to the meaning of an utterance, and more precisely of the conditions that should be met to propose a compositional approach to the meaning of intonational contours. After presenting different positions in the literature and specifying if and how much these proposals can be said compositional, we show that their differences can be ...

متن کامل

Compositional Distributional Models of Meaning

Distributional models of meaning (see Turney and Pantel (2010) for an overview) are based on the pragmatic hypothesis that meanings of words are deducible from the contexts in which they are often used. This hypothesis is formalized using vector spaces, wherein a word is represented as a vector of cooccurrence statistics with a set of context dimensions. With the increasing availability of larg...

متن کامل

Compositional logic programming

Relational program derivation has gathered momentum over the last decade with the development of many specification logics. However, before such relational specifications can be executed in existing programming languages, they must be carefully phrased to respect the evaluation order of the language. In turn, this requirement inhibits the rapid prototyping of specifications in a relational nota...

متن کامل

Compositional Quantum Logic

Quantum logic aims to capture essential quantum mechanical structure in order-theoretic terms. The Achilles’ heel of quantum logic is the absence of a canonical description of composite systems, given descriptions of their components. We introduce a framework in which order-theoretic structure comes with a primitive composition operation. The order is extracted from a generalisation of C*-algeb...

متن کامل

A Compositional Distributional Model of Meaning

We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, namely Lambek’s pregroup semantics. A key observation is that the monoidal category of (finite dimensional) vector spaces, linear maps and the tensor product, as well as any pregroup, are examples of compact closed categ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Logica Universalis

سال: 2017

ISSN: 1661-8297,1661-8300

DOI: 10.1007/s11787-017-0177-0